Michel Bidoit: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (10)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.84 MB

0 / 0

english, 2004

2

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 6.84 MB

0 / 0

english, 2002

3

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 9.50 MB

0 / 0

english, 2002

4

TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings

TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.)

సంవత్సరం:

1997

భాష:

english

ఫైల్:

DJVU, 8.19 MB

0 / 0

english, 1997

5

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Springer-Verlag Berlin Heidelberg

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)

సంవత్సరం:

1988

భాష:

english

ఫైల్:

DJVU, 3.01 MB

0 / 0

english, 1988

6

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Springer-Verlag Berlin Heidelberg

Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)

సంవత్సరం:

2001

భాష:

english

ఫైల్:

PDF, 6.23 MB

0 / 0

english, 2001

7

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 7.62 MB

0 / 0

english, 2004

8

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers

Springer Berlin Heidelberg

Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.)

సంవత్సరం:

1993

భాష:

english

ఫైల్:

DJVU, 3.36 MB

0 / 0

english, 1993

9

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Springer-Verlag Berlin Heidelberg

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)

సంవత్సరం:

1988

భాష:

english

ఫైల్:

PDF, 6.33 MB

0 / 0

english, 1988

10

Algebraic system specification and development: A survey and annotated bibliography

Algebraic system specification and development: A survey and annotated bibliography

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)

సంవత్సరం:

1991

భాష:

english

ఫైల్:

DJVU, 954 KB

0 / 0

english, 1991